Handling Non-determinism with Description Logics using a Fork/Join Approach
نویسندگان
چکیده
منابع مشابه
A revision-based approach for handling inconsistency in description logics
Recently, the problem of inconsistency handling in description logics has attracted a lot of attention. Many approaches were proposed to deal with this problem based on existing techniques for inconsistency management. In this paper, we first define two revision operators in description logics, one is called the weakening-based revision operator and the other is its refinement. The logical prop...
متن کاملA Stratification-based Approach for Inconsistency Handling in Description Logics
Inconsistency handling is a central problem in many knowledge representation fields, such as belief revision, belief merging. Many approaches have been proposed to handle inconsistency in ontologies. In this paper, we propose a stratification-based approach for inconsistency handling in description logics (DLs), a family of ontology languages. This approach consists of two steps. In the first s...
متن کاملA Compatible Approach to Temporal Description Logics
Temporal description logics (TDLs) have been studied by many researchers (see e.g., [1, 10] for surveys and [4, 2, 15] for recent or important results). These TDLs are, however, not compatible in the following sense: these are not embeddable into the standard (non-temporal) description logics (DLs), and hence the existing algorithms for testing satisfiability in the standard DLs are not availab...
متن کاملMulti-valued Calculi for Logics Based on Non-determinism
Non-deterministic matrices (Nmatrices) are multiple-valued structures in which the value assigned by a valuation to a complex formula can be chosen non-deterministically out of a certain nonempty set of options. We consider two different types of semantics which are based on Nmatrices: the dynamic one and the static one (the latter is new here). We use the Rasiowa-Sikorski (R-S) decomposition m...
متن کاملTitle: Description Logics Description Logics
KR: knowledge representation. DLs: Description Logics; a family of logic-based KR languages for representing knowledge through assertions about concepts, individuals and relationships among them. (Logic-based) Semantics: a way to interpret any statement in a language; logic-based semantics interprets such a statement using operations in mathematical logic. Interpretation: a mathematical structu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Networking and Computing
سال: 2015
ISSN: 2185-2839,2185-2847
DOI: 10.15803/ijnc.5.1_61